- тождественный функтор
- тото́жний фу́нктор
Русско-украинский политехнический словарь. 2013.
тождественный функтор
Смотреть что такое "тождественный функтор" в других словарях:
Функтор (математика) — У этого термина в программировании есть другое значение: «Функтор (программирование)». Все значения этого слова здесь. Функтор это особый тип отображений между категориями, сохраняющих структуру. Их можно рассматривать как морфизмы в… … Википедия
ПРЕДСТАВИМЫЙ ФУНКТОР — ковариантный (или контравариантный) функтор Fиз нек рой категории в категорию множеств , изоморфный одному из основных теоретико множественных функторов: Функтор представим тогда и только тогда, когда найдутся такие объект и элемент , что для… … Математическая энциклопедия
Контравариантный функтор — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
ТРОЙКА — монада, в категории моноид в категории функторов. Другими словами, Т. в категории наз. ковариантный функтор снабженный такими естественными преобразованиями и что следующие диаграммы коммутативны (здесь обозначает тождественный функтор категории… … Математическая энциклопедия
Теория категорий — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… … Википедия
Категория (математика) — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
Морфизм — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
Пучок (математика) — У этого термина существуют и другие значения, см. Пучок. Пучки используются для установления отношений между локальными и глобальными данными. По этой причине они играют значительную роль в топологии, дифференциальной геометрии и алгебраической… … Википедия
Естественное преобразование — (функторный морфизм) одно из основных понятий теории категорий. Если и ковариантные функторы из категории в , то отображение, при котором каждому объекту категории соответствует морфизм … Википедия
Функторный морфизм — Естественное преобразование (функторный морфизм) одно из основных понятий теории категорий. Если S и T ковариантные функторы из категории в , то отображение, при котором каждому объекту C категории соответствует морфизм категории … Википедия
